ConstraintJS: Programming Interactive Behaviors for the Web by Integrating Constraints and States Stephen Oney, Brad Myers Carnegie Mellon University Pittsburgh, PAUSA {soney, bam}@cs.cmu.edu

Source URL: from.so

• Software engineering
• Computer programming
• Declarative programming
• Constraint programming
• Programming paradigms
• JavaScript
• Futures and promises
• Constraint
• Constraint logic programming
• Constraint satisfaction

Santini_Francesco_SR_INRIA

Source URL: fellowship.ercim.eu

• Declarative programming
• Constraint programming
• Software engineering
• Theoretical computer science
• Programming paradigms
• Graph theory
• Constraint logic programming
• Logic programming
• Graph rewriting
• Graph

Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda Tohoku University

Source URL: www2.sf.ecei.tohoku.ac.jp

• Mathematics
• Special functions
• Declarative programming
• Automated theorem proving
• Logic programming
• Data types
• Functional programming
• Logical truth
• Substitution
• Cons
• Exponentiation
• Inverse trigonometric functions

Delphin: Functional Programming with Deductive Systems Richard Fontana Department of Computer Science

Source URL: www.itu.dk

• Logic
• Declarative programming
• Software engineering
• Symbol
• Standard ML
• Substitution
• Model theory

Lazy Memo-functions John Hughes Programming Methodology Group Department of Computer Science Chalmers University of Technology SG~teborg, Sweden

Source URL: www.cse.chalmers.se

• Software engineering
• Computer programming
• Declarative programming
• Lambda calculus
• Functional programming
• Functional languages
• Subroutines
• Theoretical computer science
• Eval
• Lazy evaluation
• Lisp
• Anonymous function

t-regex Matching using tree regular expressions Alejandro Serrano Mena Universiteit Utrecht

Source URL: wwwhome.cs.utwente.nl

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Data types
• Formal languages
• Regular expressions
• Pattern matching
• List
• Cons
• TRE
• Algebraic data type

Constraint Answer Set Solving Martin Gebser, Max Ostrowski, and Torsten Schaub? Universit¨at Potsdam, Institut f¨ur Informatik, August-Bebel-Str. 89, DPotsdam Abstract. We present a new approach to integrating C

Source URL: www.cs.uni-potsdam.de

• Theoretical computer science
• Constraint programming
• Declarative programming
• Logic programming
• Mathematics
• Model theory
• Logic in computer science
• NP-complete problems
• Constraint satisfaction problem
• Answer set programming
• Constraint satisfaction
• Satisfiability modulo theories

Declarative Diagnosis of Wrong Answers in Constraint Functional-Logic Programming Rafael Caballero, Mario Rodr´ıguez Artalejo, and Rafael del Vado V´ırseda Dep. Sistemas Inform´ aticos y Programaci´ on, Univ. Comp

Source URL: gpd.sip.ucm.es

Charlottenstr. 2, 01099, Dresden Germany https://yoichihirai.com

Source URL: yoichihirai.com

• Software
• Hirai
• Coq
• Mathematical logic
• Declarative programming

BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud Peter Alvaro Tyson Condie

Source URL: www.neilconway.org